1. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
2. Computability and Logic
پدیدآورنده : / George S. Boolos
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع :
3. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
4. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
5. Computability and logic
پدیدآورنده :
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
E-BOOK
6. Computability and logic
پدیدآورنده : / George Boolos, Richard Jeffrey
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursive functions,Logic, symbolic and mathematical
رده :
511
.
3
B724c
7. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Computable functions.,Recursive functions.,Logic, Symbolic and mathematical.
رده :
QA
,
9
.
59
,.
B66
,
2002
8. Computability and logic
پدیدآورنده : George Boolos, Richard Jeffrey
کتابخانه: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
موضوع : Computable functions,Recursive functions
رده :
511
.
3
B724C
9. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
10. Computability and logic.
پدیدآورنده : / [electronic resource
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computable functions,Electronic books. , local
رده :
E-BOOK
11. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;
12. Computability and logic
پدیدآورنده :
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
13. Computability and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
59
.
B66C6
1989
14. Computability and logic
پدیدآورنده : Boolos, George
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
15. Logic, Logic and Logic
پدیدآورنده : / George Boolos,Boolos
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Arabic imprin%
رده :
BC
51
.
B58
1998
16. Logic, Logic, and logic
پدیدآورنده : Boolos, George S., 0491-6991
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
BC
51
.
B6
17. Logic, logic, and logic /
پدیدآورنده : George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic.
رده :
BC51
.
B58
1998
18. Logic, logic, and logic
پدیدآورنده : Boolos, George
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic
رده :
BC
51
.
B58
1998
19. Logic, logic, and logic
پدیدآورنده : Boolos, George.
کتابخانه: Library of Mofid University (Qom)
موضوع : ، Logic
رده :
BC51
.
B58
1998
20. Logic,logic,and logic
پدیدآورنده : Boolos, George
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
BC
51
.
B6
L6
1998
